- 双语例句 更多例句
本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
- 相关词组
- barograph trace气压自配曲线;
- blurred trace模糊痕迹;
- Without a Trace[电影]神不知鬼不觉;
- anodal trace离节迹;
- trace out勾画出轮廓;提出;寻踪觅迹;
- trace contamination痕量污染;
- wavy trace波浪形迹线;
- cotyledon trace子叶迹;
- return trace回描,归迹,回程;回迹;
- trace back to追溯到…;
- trace mineral微量无机物;
- trace back回忆;溯;
- trace elementn.痕量元素,微量元素;
- trace source跟踪源
- trace function迹函数;
- trace elementsn.痕量元素,微量元素( trace element的名词复数 );
- memory trace记忆痕迹;
- No trace线索不明,无法查找;
- trace to找出…的所在, 追踪到…;
- trace constituent痕量构分;
- 今日热词
- 热门搜索
- Russia n.(1917年以前的)俄罗斯帝国;现俄罗斯;俄罗斯联邦;
- pulse n.脉搏;[无线电](电磁波等)脉动;活力;有节奏的跳动(或拍打);vi.(心脏)跳动;脉动;搏动;震动;
- Merrell n.迈乐;[人名] 梅里尔;迈乐;麦乐;登山鞋
- public n.平民;志趣相投的人;adj.公众的;公共的;政府的;公用的;公开的;公开场合的;;
- thunderstorm n.雷电交加的暴风雨;大雷雨;雷雨;雷暴;雷雨交加
- Buick [人名] 别克;[地名] [加拿大] 比伊克;
- crew n.(飞机、轮船等上的)全体工作人员;技术团队;一组人;划船队;赛船运动;v.当船员;
- alike adj.同样的,相似的;adv.两者都,同样地;类似于;
- spoken v.讲,谈( speak的过去分词 );说;演说;从某种观点来说;adj.以某种方式说话的;口头的;
- so far so good 到现在为止,一直都还不错。;
- click v.使发出咔嗒声;(用鼠标)点击;豁然开朗;(与…)一见如故;受到欢迎;配合默契;n.咔哒声;(鼠标)点击;吸气声;
- reduction n.减少;降低;折扣;还原;缩图;
